“Minus Stroke-operation” and its Declarative Aspects

The Nonassociativity of the Double Minus Operation

The sequence A000975 in OEIS can be defined by A1 = 1, An+1 = 2An if n is odd, and An+1 = 2An + 1 if n is even. This sequence satisfies other recurrence relations, admits some closed formulas, and is known to enumerate several interesting families of objects. We provide a new interpretation of this sequence using a binary operation defined by a⊖ b := −a− b. We show that the number of distinct r...

Box-minus operation and application in sum-product algorithm

A new formula for box-minus operation, which separates the box-minus operation into sign and reliability operations, was derived. Its application in the sum-product algorithm (SPA) was also investigated. Both boxplus operation and box-minus operation were divided into sign operation and reliability operation. The results show that on using the box-minus operation, SPA can be implemented with le...

Declarative Composition of Structural Aspects

Structural aspects modify the structure of a program. Like behavioral aspects, structural aspects may interact and raise conflicts. While current aspect systems mostly under-consider this issue, this work addresses structural aspect interactions under the light of an iterative composition process that involves the programmer in a cycle of automatic detection of interactions and explicit, declar...

Workshop on Declarative Aspects of Multicore Programming

The advent of multi-core processors has brought parallel programming to the mainstream. Memory ordering plays a fundamental role in writing efficient and correct parallel programs. This talk will discuss the recently released Intel 64 architecture memory ordering. We will discuss the motivation, and the guarantees provided by this ordering. We will also discuss how it relates to language level ...

Algorithmic aspects of minus total k-subdomination in graphs